smallest closed extension

最小闭扩张